Make the sed in configure.ac more portable