Partial revert of 77004ea as veval redirects to null, while we need the result in the eps file.