Launcher: fix disk format bugs.