private function checkCompilation($file)
{
$res = shell_exec($_SERVER['_'] . ' -l ' . $file . ' 2>&1');
//@todo : differentiate fatal error and non-fatal ones.
return substr($res, 0, 28) == 'No syntax errors detected in';
}