Don't modify CREDITS-FILE if it hasn't changed.