x64: fix compile_c error on int<int