Correct Boost workaround macros