Crutch for Galaxy apps

Once 04cc467582c6929097245ac58b117cb0c3739935 is released,
we can get rid of this.