Autotest 0.13.0 released!