let help = "Set working directory for compiling specifications.\nDefaults: directory where architecture independent \nfiles are."