Attempt at fixing Travis build