Travis CI

Make travis happy.