Use platform check for correct selection of khash type in helpers.c