Debug of generate_mk.sh script