yet another fix to the TravisCi script