+mirage-profile.0.3

In particular, this fixes a build problem on OS X.