* "export CONFIG_SHELL=/bin/bash" in debian/rules to avoid problems with