Install script no longer installs the `mangoSystemLib` by default