hack for a travis problem