bugfix: std lib checkboxes + new feature: remote server settings now includes /prefix