droid: fix build. This header may be needed elsewhere as well?