Make it build on Ubuntu 14.04