force using SHA1, so that java7 tools will work