mono/mono — pull request #749 by head-thrash (2013-09-03 14:56:14+00:00)
Title: Fixes build when running `make -k check`

* Fixes StateMachineAttribute in BuildEngine for 4.0 and 3.5
* Fixes build for Mono.Debugger.Soft not in 4_5 profile
* Fixes build for NET_4_0 profile (CustomAttributes and HasDefaultValue)