Specify 3.1.2.GA as version of Titanium SDK to use