Thank you @danielgasperoni but the solution you suggested involved modifying plugin code directly, which usually is not good practice.
To be honest, since my primary use was to provide an interface towards an external service, using WordPress authentication system, and not the other way around, I ended up NOT using this plugin at all.