This will hopefully fix Travis CI