extension restart is platform-dependent