Maybe the mira package should be renamed mira-assembler, as there are other
software called Mira around, such as http://www.mirametrics.com/ (proprietary,
but...)
