- New: In buildCoriolis.py, adds a "--rm-build" option which removes the tool's build directory before building it. A very crude way to ensure that nothing obsolete form a previous build will gets in the way...