android: fix for older api-levels