I don't like that this means we have a duplicate set of these flags, so we'd have to remember to update them both. Do we really need this file?