What do I need to put in the Proguard config file?