anchor.diff:      install -D -m0644 gptsync/gptsync_${HOSTARCH}.efi $out/share/refind/tools_${HOSTARCH}/gptsync_${HOSTARCH}.efi
   
       # helper scripts
  -    install -D -m0755 install.sh $out/bin/refind-install
  -    install -D -m0755 mkrlconf.sh $out/bin/refind-mkrlconf
  -    install -D -m0755 mvrefind.sh $out/bin/refind-mvrefind
  +    install -D -m0755 refind-install $out/bin/refind-install
  +    install -D -m0755 mkrlconf $out/bin/refind-mkrlconf
  +    install -D -m0755 mvrefind $out/bin/refind-mvrefind
       install -D -m0755 fonts/mkfont.sh $out/bin/refind-mkfont
   
       # sample config files
  
positive.code:     rm -f $out/share/refind/fonts/mkfont.sh
  
      # icons
      install -D -m0644 icons/* $out/share/refind/icons/
  
      # images
      install -D -m0644 images/*.{png,bmp} $out/share/refind/images/
  
negative.code:     # Post-install fixes
      sed -e "s|^ThisDir=.*|ThisDir=$out/share/refind/|g" -i $out/bin/refind-install
      sed -e "s|^RefindDir=.*|RefindDir=$out/share/refind/|g" -i $out/bin/refind-install
    '';
  
    meta = with stdenv.lib; {
      version = "0.10.3";
      description = "A graphical {,U}EFI boot manager";
      longDescription = ''
        rEFInd is a graphical boot manager for EFI- and UEFI-based
  