Restore old Cpp print(FILE* f) interface since existing projects may use it.