added version number, to be later tagged on pushed commits