make it build on Ubuntu 12.04 LTS