Import missing header from rohan.kernel.elite