fixed problems in make.sh that caused problem with debugging