Another attempt to fix TRAVIS (apparently case sensitivity was at fault)