Another try to fix travis #3