Which file to download for pro installation via script?

Hi Jochen,

Please have a look at this post:

I would say that you only need to use this version if you want to use one of these features. You also could manually switch to the binary package if the installer only downloads the other version.