Bugfix: removing unwanted .travisci.yml directives