Added -DTRIPLE option to set target triple