Paul, This turns out to work now, by itself, for "make deb" against the current git: echo USE_GLIBC_KERN_FLIP_HEADERS=true >> Makefile.inc.local Thanks again for the help, Whit