Add a "--with-xlen" configure argument (#16)