These changes come from the runtime-801 branch and were not merged into master, leading to people not knowing that they were using a more recent version of the runtime. This is linked to #195 (closed). I'm merging this until we improve the branching strategy.