Trying to install openmpi on Travis