Ah.. I thought we had no access to this function because a few lines above these lines we don't use phpbb_version_compare. But I see now that it's included in install/index.php