private function isGNUMake($bin) { return preg_match('/GNU Make/', shell_exec("{$bin} --version")); }