use /tmp/timings on Linux/Mac as default location to save profile timings (when you press 'p' in example browser) fix in Graphics Server Example when rendering is disabled