here in os 10.9 official release Xcode5-DP.app will be changed in Xcode5.app, I will make a new pull request then and change that