compilation with Storm 0.9.3 fixed