fix restart command to work under Mavericks