Fix default gnetlist executable name to be "gnetlist"