workaround FF cache issues when updating