PFini wasn't referencing std::string correctly (causes issues on Linux).
ini_close() returns void in Platform/Windows and *the entire file's contents* in Extensions/. Changed this to align with the Windows behavior; also, reset the file pointer to null (to allow opening multiple ini files in a row).
ini_read_real() in the ini Extension should return an int (as it does in the Windows version).
ini plugin code fails to check for EOF; loops forever in some cases.
Updated show_error() in Ini extension to comply with current code.
Fix a similar size_t/unsigned int mismatch.
Similar Ini file fix for ini_read_string as ini_read_real
Applied Josh's GL3 fix for GL1; fixes Project Mario polygons.
Merge pull request #751 from sorlok/pm_fix

Fixes for Project Mario (Ini Files mostly)