updated to release 0.9.4 of gauche