Improved pathnames in configure.php output