I have now upgraded to 1.7.2. There are still some unpredictable half-crashes that I will try to fix over the coming days. Please do not try too crazy stuff. If the server acts up too much, we will have to do a complete pre-upgrade reset. We have backups of everything, so no need to worry, but I would encourage all of you not put too much effort into building the coming days since there are still some crashes possible.