Android: allow modules (i.e. plugins) to have undefined symbols.