Comment out a puts

This puts sometimes fails since it is called from
inside an at_exit hook, which for some reason has
the standard output stream closed already.