Use the correct printf format specifiers for the SDL version number