Update libraries/Gettext.php