challenge/jiffy — pull request #1 by marianovalles (2013-01-03 11:29:57+00:00)
Title: Include alternative _drv.so extension to be used in some linux environments

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