patched a test, discovered by Travis CI, modified local remote-prove script