Please read the README file for how to install PTXdist.