Try to fix travis ci problem