Moved the auto*.php files out of the package and added .dist suffix