Include alternative _drv.so extension to be used in some linux environments

When I compiled jiffy in Gentoo Linux, it couldn't find the jiffy.so file but jiffy_drv.so.
I added a case for this.