ensure that okra-kernel-compile is defined correctly when okra is available