ext/nvmkv_driver: switched to gcc
ext/nvmkv_driver: switched from INT2FIX() to LONG2NUM() to handle big numbers, to avoid 31bit overflow