Android: util: fix locale generation in options.h