These files ought to have been committed, not sure what happened.