Make the install work on the Ubuntu 14.04