Made minor changes to mkAllInsts.cpp