Merging pull request from github web interface seem to make these two binaries have zero length