added support for WHDLoad 18.0 (and make it the default version)