runtime kernel compilation fixes