Fix inline kernel building

Fix again