fix failure in libgetopts