Deleted the pre-compiled file for 7.2. It is available in GitHub release now.