After running Paparazzi on Ubuntu 9.04 for a while without problems, I have installed Ubuntu 10.04 on a stationary PC to see if all works ok.
After executing make I had a look at the messages, and noticed these lines:
...... File "link.ml", line 305, characters 1-306: Warning P: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: Pprz2 ......