Update mk.sh

--without-progs broke compatibility with older distros like CentOS 5.9