build: fix selinux.c build failure on 32 bit