fix #3 openfst for osx