Now generated by configure; deleting