Rename wsm-launch.hpp to wsm.hpp