updated miniTH to version 0.3.5