TravisCI fixes #5