further fix for travis