version 2.8.8, changed comment about miktex