added LIBZAlloySpec