Fixes #5658: get_input() no longer returns empty string for missing input