Fix compilation so that it builds with openfst 1.4.1 and Ubuntu 14.04. WARN: this could break compilation in older systems.