Solution:
Probably the best bet would be to reach out in the support forums and let the plugin authors know that there is a problem. You already have a working fix for that problem so don’t hestitate to show them your solution (but i dont think that hiding the slider is a good solution).
All plugins in the WordPress plugin repository have a support forum on wordpress.org … many plugins also have own websites with some kind of support mechanism (forum, contact form …).
Another solution would be to place the code that fixes the plugin not in the plugin folder itself but in you theme/child theme or a own plugin …