Use jellybean version of ui.c