More various-context-friendly VERSION import