Fix compilation error when linking against CADP
Fix compilation error when linking against CADP

Thanks to Jeroen Ketema for looking into this.

(Closes #418)

Meijuh/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,Sybe/composition,utwente-fmt/ltsmin,alaarman/ltsmin,trolando/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,Sybe/composition,Meijuh/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,trolando/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,Sybe/composition,vbloemen/ltsmin,lordqwerty/ltsmin,buschko/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Sybe/composition,buschko/ltsmin,buschko/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,trolando/ltsmin,trolando/ltsmin,buschko/ltsmin