Rename setup.php to setup-dist.php (or setup.php.dist) to avoid git conflicts #127