Fixes Travis CI build