Last fix for the travis file.