fix for travis problem