Use external kextsymboltool if building on Linux