libgdx patch for freebsd