Last attempt at fixing Travis-CI