fix pretty-printing of the cvttsd2si SSE2 instruction (fixes 5149 test