Got rid of some old cruft in the previous version of aadl2rtos.