Add alternate library name for Ubuntu 14.04.

Fixes #18.
No test was added because the existing tests already failed, and this
change makes them pass again.