with-input-from-file is optional in R5RS, so don't rely on it.