Retry the removal of the binary to ensure no file is still in use (#33) #33

Merged
merged 1 commit into from Apr 12, 2013