Out of desperation, here is the solution: Copy the binary file