version number now only in ui.R