This file is no longer needed; target achieved.