[bugfix] make dist-war target work again