Patch 'current-input-port should be stdin'
Patched by: James Woodcock 2013-07-09
(http://sourceforge.net/p/tinyscheme/bugs/18/)