fix #3: raise more useful error on missing server args