try to fix travis #4