Re-add the missing file

I'm a terrible git user :(.