Bugfixes for Matthias Walter's unimodularity library (http://www.utdallas.edu/~klaus/TUtest)