Fix install script since it didn't work in Ubuntu 14.04