Use a better way of getting value for verbatim keyboard input
Avoid compile errors on MacOS