add 64bit version of hfst-proc