A bug has been found, and fixed, in the update logic in the
paths_updater.pl script. My apologies for the inconvenience. Could
everyone make sure they update this file (or the tree) to at least
rev. 23366. For those unable to update due to the subversion issues, I
am happy to send a patch.