Fix build problems on Ubuntu 10.04.