Change Gauche stable version to 0.9.4.
Do not use cache in build.