Fixing configure script shenanigans