Make getSTDIN return null if the standard input is empty, as the header file