changed name of pxseqsamp to pxboot