printf int64

See: https://forum.sierrawireless.com/t/forum-broken/4278/1
And: Technical Issues After Forum Revamping