dvn-f6: CHECK_FILES option implemented