remove last vestiges of AlienScript, it is not used any more