This is apparently not necessary anymore. See the issue for details