Better error reporting in mktargets.py