Fix 'unused parameter' warnings

in src/Platforms/GccNoStdC.