Removing seqan.old.