Replaced php4 hack for microtime(true) with real microtime(true)