another fix to make the travis ci thing working