Fix launcher not working with pypy