update libGDX to version 1.3.1