Development version of upcoming 1.38-1 containing important bugfix to update.ppm