Modify build-shell in debian-wheezy-32bit