fix(realpaver/rp_propagator.cpp): not use gnu extension for array init.