fixes to build with Android 4.4 - API 19