version bump to 1.3.5 after CRAN push