don't double-define VERSION