Make the dmcs/gmcs scripts identical to the mcs script with an extra -sdk: argument...