Fix VERSION again (avoid full import just to get a number)