changes necessary for android kerrighed to build