Tiny change for configure-netkit shell script