stixpjr/ramchk64 not found