I have changed vgps a bit, see first post. Now it should work with Mapsource 6.13 too. Configuration batch and files are not converted into exe, you can clearly see what they are doing.