try to fix travis #6