fix ProGuard rules for Tophe