@Michael Pujos PS: I just found out I still run 0.7.17-2.2 anyway. I hope the update to 0.8 will not bring new bad surprises. ;)