A possible workaround for Travis CI build issues