Default to dmcs instead of gmcs, needed for System.Threading.Tasks