Another fix attempt for travis ci