Add a triple so that right syntax is choosen on mac osx systems