(default-output-port) was added to the core