tower-aadl: makefile fixup