Fix issue with travis-pro