use pickle.DEFAULT_PROTOCOL by default

HIGHEST_PROTOCOL on old Python, where default is undefined