Silence undefined-inline (clang bug 20708); visible in GCC 4.9.