Doppelkludge: undoing Android's useless renames