Don't ignore this file, it's not generated