Fix errors on Ubuntu 12.04.