Downloadbuilder: Download for 1.8rc1 results in 1.7.2 code

Downloaded all components with custom-theme:

The 1.8rc1 download has 1.7.2 as the version in

js/jquery-ui-1.8rc1.custom.min.js and the development-bundle is 1.7.2,

too.

Component demo (index.html) looks good, though no 1.8 widgets.

Downloading custom theme without components still has

js/jquery-ui-1.8rc1.custom.min.js, but file is empty. Also wrong

version of dev-bundle.