Fix for x64, add binary