@bbodenmiller I'm always wary of using Github to edit executable files, since they are committed without testing.  But, in this situation, it probably doesn't hurt.  I just did the edit, and Travis is building the new version now.