I replaced both of those files with a new SVG with identical name. Nothing changed on the site even after clearing cache

edit: checked a few hours later and now it showed up, apparently the server just needed some time. Thanks!