FWIW, the bug was in opencascde, not properly declaring a depenency. It has been fixed in opencasaade/7.8.1+dfsg1-7, in case you want to drop the dependency on libocct-ivtk-dev again.