Since we're using Autotools now, we no longer need this.