DON'T REMOVE THIS FILE, the configure script uses it.