Update wsm-launch.hpp