> libfluxus/src/Allocator.cpp: In function 'void dealloc_hook(void*, size_t)': > libfluxus/src/Allocator.cpp:32: error: cast from 'void*' to 'int' loses precision it's a recent bug. hopefully fixed in git. thanks for the report. best, gabor