Fix warning produced by clang++

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix another cdash warning

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Use cdash on cmacslab2 machine due to 10-build per day restriction
Supress gcc warnings on OS X
overwrite