Removed file src/util/.gitignore