Path fixes in setup.php-dist.