previous update incorrectly pushed old versions of these files