Fix for Android GCC 4.8