Don't run anything in CONFIGURE_F17.sh as root except what needs to be
(installing packages, "make install"). Running bootstrap.sh as root also
creates root-owned files in the working copy to which make can't write,
causing "make win32" and "make win64" to fail.