Thanks for the report! The build infrastructure is fairly new and I was afraid it would contain such bugs :) I will fix this!
Thanks for the report! The build infrastructure is fairly new and I was afraid it would contain such bugs :) I will fix this!