davisp/jiffy — pull request #38 by marianovalles (2013-04-02 18:48:56+00:00)
Title: 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.