Updated paths to reflect recent move of auto*.php.dist files