updated auxlib_meat.hpp