Change debruijn2 to debruijn3