Fix kbuild bugs noticed by Bernhard Fischer <rep.nop@aon.at>