* exec.c (exec_file_command): Fix problem reported by Hans Verkuil