set version to 1.3.1 final