Restore old Cpp print(FILE* f) interface since existing projects may use it.
Merge pull request #303 from ucb-bar/printfcpp

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