- IFCBoolean.cpp: fix capitalization error in filename