This should not have been included in the repository because other developers might have different setups.