update travis for openmpi