Fix install on Ubuntu 14.04