frogatto also depends on libgles1. I did an "apt-get remove libgles1-sgx-img" in an xterm and then I was able to do the OTA upgrade to PR 1.3. I then install frogatto and it runs fine as far as I can tell.