[DEV] correction for Android port