--- 'astro': patch --- Update the Astro compiler, fixing a number of bugs