Use explicit version number. Fixes #3.