remove an obsolete comment DONTBUILD