try to suppress warnings
Merge branch 'master' of https://github.com/wiegerw/mcrl2-boost-build