Fix bad deployment of the thin automatically

This fixes #9522