Fix installation on Ubuntu Precise.