DotAligner --seqaln bug resolved; benchmark scripts adeed