Actually add the psol binary (gzipped)