[Build] On Ubuntu 12.04 (precise) we have to use dmcs instead of gmcs