[no issue] Changed version to 13.3-pxscrocodile-SNAPSHOT to make the version string work with the automated PXS build