updated verold server restart commands for vimux compat