Upgrade proguard, hopefully fixes travis builds