config.php3
build-stamp
configure-stamp

