Closes #130 - use the "-P:minibox:warn" flag

instead of the strict annotation, which is more tedious.