mapfishapp: fixing #107 by cherry-picking a GeoExt fix