Hi Andreas, Thank you for uploading the latest version. I would have done that as soon as I get debian running on my laptop again. (It is proving difficult because of proprietary wifi, yada yada) Same goes for the MUMmer patches I promised. Thanks again, Fabian