try to fix travis #7