Fix building on 7.8 (by actually using our named import)

Forgotten part of #1