sweet-plugin: improved generation of platform-specific launchers