[OJS 3.1.2.4] Bypass OJS-GeoIP php-module

We were struck by a similar problem as explained here: The usage statistics stopped working after upgrading to php 7.3.11. The problem was the php-module GeoIP on the server which interfered with the OJS-GeoIP. The solution was to comment out the incriminating lines in htdocs_ojs/plugins/generic/usageStats/GeoLocationTool.inc.php as explained here.

This reenabled usage statistics but without country_id, region or city, so obviously GeoIP is not working. Unfortunately, removing the server-GeoIP is not an option. Has anyone an idea how to bypass the OJS-GeoIP and enable the server-GeoIP?