fix another ifdef branch, and also 4.00.1 compilation