Apply GPL_patch_20140731.tar.gz
SHA1SUM: 88594b4aa1f271afd12f041ccb56a9bc343fbba6