Added a few files needed by configure