avoid double-loading identical version