Release 0.71.5 - fixed problem in versioning