TravisCI: Use flex sdk 4.12.0.