Further fix attempt for travis