Use the gnu configure options (#1771)