a tool to select on stdin before execv