Removed "accidental DRM"

Because runLauncher() is a function, accidental DRM could be easily
removed. I don't know why that didn't occur to me from the start.