Remove another redundant print of stdout and stderr; cf. 730bab9ea830f0358de7abb4f6dcb2b458685d5d