fix #482: types in gen_fsm file template