Update to ALLPATHS to ensure we are putting the right kind of RAMPART library types into the right kind of ALLPATHS library types (based on what was described in the ALLPATHS paper).