SPICE choeger_spice51.html The spice binary is missing.
