use with-output-to-string instead of progv