* configure.in: Change version number to 2.9.4