don't unexpectedly define --flagfile if someone's not using it