Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

This will properly install the package and the package manager will know
about it, so there will be no messy junk sitting in /usr/local that
won't be properly managed and upgraded.

This also means that the LD_PRELOAD hack is no longer needed.

Credits

I would like to thank Professor Rixner and his graduate students who were instrumental in the testing of this problem and for coming up with this solution.