
This reverts commit 46ad41e813d58a3736721d628846d037ad0feba2. This turns out not to work, so we have to use a hardcoded version here.
This reverts commit 46ad41e813d58a3736721d628846d037ad0feba2. This turns out not to work, so we have to use a hardcoded version here.