Adapting to new memenv.h include without memenv directory.
Require no -DNDEBUG as stated in src/main.cpp:30