adjust for the name change in web-animations-js
(https://github.com/web-animations/web-animations-js/commit/79fc249bdf40bac011e8bf471a1b35f0bd816d1a)