udate to repo of Sylvian Marie with external carve  https://code.google.com/p/carve/. Will not compile on Linux
minor changes to make the ifcplusplus compile with linux again