Use thin server instead of WEBrick