Use thin server instead of webrick