This fixes #7991.
Changed the version to 0.13.1~alpha1.