Bugfix: Make sure to include print format macros