Modify build-shell for ubuntu-14.04-x32