check that the binaries are correctly linked