If the files that do not update have to do with Geolocalization:
This is most likely due to a setting in the WooCommerce plugin. Go to WooCommerce > Settings, scroll down and find Default customer location. Switching to any option other than Geolocate (with page caching support) will take care of the issue.
In my case, I first had to go to a previous version of Woocommerce to do it.