gitignore stuff generated by configure script