add version number (fixes #17)