use 0.13.1-RC3 launcher too

0.13.0 launcher is supposed to work too, but let's not
take any chances