We should somehow avoid to hard-code the version number