Old mine building