GFDL 1.3 is out, need to update the installer appropriately.