compiler /banl @Chipmonk-DefsSources.cm@; @chipmonk-compile.cm@
// Ahem! Actually, ppdefs ppdddefs ppddefs ppfeeddefs ppmaindefs ppoutdefs chiporient  chipuserint pppdefs were recompiled.