WIP: Also build a binary package for the extension module
(does not build yet)