Amend Git ignore file for the new file naming.