Default to Thin as our server. It's faster and fixes #45