Added missing files (due to Github downtime)