Release 13.07.5
more code fixes