use /usr/local/share instead of /usr/share for gnu-getopt