some fixes to hashcons.1.0.0 installation
hashcons.1.0.0: separate the build and install phases