This is version 0.8.1
With additional patches from the author and Rob Browning <rlb@cs.utexas.edu>.
