cmurphi5.4 （last release : Jan 07, 2010. This release works with 64 as well as 32 bits architectures.)