Mira: upgrade to 4.0.2.

The Boost libraries aren't discovered unless they are passed to make.

Closes #968.