changing version of precompiled hex

The old version was 0.8c. New build (2013-12-07) should increment to denote change.