Use our own version number