Bump version to 1.9.4
removed obsolete configure option