Update webppl update/compile script