Fix another travis issue