Fixed cbmc directory creation bug