add quickspec.cib and quickspec.mps to install packages.