improve https rewriting
deactivate https_rewrite for 'make robot'