Another go at travis-ci and deletion of incorrectly named files