Ignore the distribution.php file by default.