upgrade to libgdx 1.3.1