How to enable filter by price in a multi-currency setup

Is there a way to use the converted prices for product filtering based on price?

We are using the WooCommerce Filter by Price widget for price filtering but it works only for the base/default currency.

After switching the currency the entire functionality of the widget breaks.