Change test for mcrl2 Boost header installation
Change test for mcrl2 Boost header installation

works for mcrl2-200901 (and presumably newer)
utwente-fmt/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,thedobs/LTSmin,trolando/ltsmin,Meijuh/ltsmin,Sybe/composition,buschko/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,Sybe/composition,thedobs/LTSmin,trolando/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,trolando/ltsmin,buschko/ltsmin,Sybe/composition,thedobs/LTSmin,Meijuh/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,buschko/ltsmin,alaarman/ltsmin,trolando/ltsmin,vbloemen/ltsmin,Sybe/composition,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,buschko/ltsmin,vbloemen/ltsmin,alaarman/ltsmin