oops, forgot to push version, now 0.7.1