Fixes the two appearances of "#include <u.h>" in the top.