Fix Install WAVSEP in CircleCI #919