Making user certs collapsible, adding a recompilation script