Fix print platform call in debug mode. Argument is no pointer