Fix for printf string formatting warnings when compiled on 64-bit linux