reverted devserver.sh so the dev server works (but at what cost???)