This file must not be archived into git.