fix printf formatters
Merge pull request #86 from franz/gcc-4.9-cleanups

fix printf formatters