rename bootstrap.dist.php to bootstrap.php.dist to keep it consistent