Added missing header files. Adjusted format specifier in fprintf.
Authored by: merry75 2015-12-20
Parent: [r410]
Child: [r412]