fix travis #5501