Small changes for BIMserver + IFC4 (after this commit, BIMvie.ws won't
work anymore with BIMserver 1.3)