Another try to fix travis #4