These files somehow got deleted, possibly by git gc