Fix a Boost bug on Android