That's odd.  My local copy isn't like that.  I'm using PHPStorm on Ubuntu.  I fixed it with a quick direct edit on the repo though.  Thanks for pointing it out.