4335: Initial commit for mummer; updated to fix error in build