I missed this bit earlier; the `_drv` bit is the default.  Maybe sext.so would make more sense, since it's a NIF, rather than a port driver?