Issue #3042721 by Krzysztof Domański, driverok: Replace all libraries_get_path() calls with the new API