PKG_CPPFLAGS=-DTMBAD_FRAMEWORK -DTMBAD_INDEX_TYPE=uint64_t -DTMB_EIGEN_DISABLE_WARNINGS -DTMB_SAFEBOUNDS
