Another try to fix travis #5