Yesterday the "boot.iso" installer image magically shrinked down to a mere 36kB. It seems that the build process is broken in this respect. Unfortunately, today's image hasn't "grown up" again.