We’ll look into making this the default in a future version. Sorry for the trouble!
With that said, there is one benefit to this:
If you’re developing WordPress plugins/themes for distribution, having short tags disabled is a good way to make sure you’re not using them. Like this Local config, some hosts don’t have short tags enabled.