LiftedKc: improve header include