tower-test and tower-signal now generate reasonable libs for aadl