fix travis ci tests for gnu/linux