drop-getrandom-js-feature.patch