Add workaround for building on Travis CI :<