fix long long int printf format bug