debian/configure: undo merge typo