Fix string formatting issues for 64bit systems