Fix printf format error on OSX