[boost] mipspro tests?