Another fix for the travis file :/