--proxy* options added (but no functionality)