Bug #5942: Fix CSS build