I think the quandary here is over the dating. There were no known civilizations with stone architecture that were extant at the time the mine was operating. Someone in between Egypt and Rome was extracting and processing copper.