Merge branch 'bug/235' into 'master'

Handle empty stdin-display-name values

Apparently, some folks pass an empty string to --stdin-display-name. To
avoid the errors this causes, we need to handle it appropriately.

Closes #235

See merge request !129