fix install_ubuntu_14.04_nonpae