Use 5.3.3 instead of 5.3.2 (not supported) on Travis