Modify build-shell for ubuntu-trusty-x32