Pseudo-release tag

The tag is required by the cmake configuration as by the pointed
commit. This tag does not however correspond to any release.