Fixed bad path to ripl.patch
Made portlist slightly more memory-efficient