Temporary fix for reading (using read or readline) from stdin.