Use correct prototype for DbgPrint. Thanks to Hartmut for pointing this out.