Remove wxmaxima 13.04.2 from the index (bad checksum)