Plugin blocks wp-login during login using third-party auth providers

I am using SEO redirect in combination with OpenID and other login plugins to allow users to login to the backend using third-party auth providers. When logging in to the backend for the first time, the login fails due to the following error in the php.log:

PHP Fatal error: Call to undefined function get_home_path() in /var/lib/wordpress/wp-content/plugins/seo-redirection/seo-redirection.php on line 175

However, after reloading the blocked wp-login webpage the login proceeds correctly. It seems that under some circumstances the required wp-admin/includes/file.php is not included correctly, which contains the definition the method get_home_path function used by the script. My current fix is to add the following to the top of the seo-redirection.php.

if (!function_exists('get_home_path')) {
        require_once( ABSPATH . '/wp-admin/includes/file.php' );
}

Would be great to have this included in one of the upcoming releases.

Thanks in advance,

Matthieu

https://www.ads-software.com/plugins/seo-redirection/