Remove installation of incompatible getopt.h, closes #753, #754, #755