Fix website instructions for proguard