diff --git a/tools/build/jhbuildrc-custom-example b/tools/build/jhbuildrc-custom-example
index 41e530fa2..837d24ee1 100644
--- a/tools/build/jhbuildrc-custom-example
+++ b/tools/build/jhbuildrc-custom-example
@@ -11,3 +11,8 @@
 # Directory where to install
 #
 #prefix = '/opt/gnome-shell/install'
+
+# Work around http://bugzilla.gnome.org/show_bug.cgi?id=571240 if
+# your 'install' program is somewhere other than /usr/bin/install
+# (affects: Arch Linux)
+#installprog = 'bin/install'
diff --git a/tools/build/jhbuildrc-gnome-shell b/tools/build/jhbuildrc-gnome-shell
index ccee3d354..19d7891b4 100644
--- a/tools/build/jhbuildrc-gnome-shell
+++ b/tools/build/jhbuildrc-gnome-shell
@@ -58,9 +58,6 @@ if _pkgconfig.returncode == 0:
     if os.path.exists(_libdir + '/libmozjs.so'):
         addpath('LD_LIBRARY_PATH', _libdir)
 
-# Rebuild faster
-os.environ['INSTALL'] = os.path.expanduser('~/bin/install-check')
-
 # Import optional user RC for further customization. You can override
 # the prefix or default build setup for example, or CFLAGS or
 # module_autogenargs, etc.