fix make.sh for Ubuntu