Try fixing binfiles