Finalmente, o que eu estava perdendo é que .desktop não é um nome de arquivo, mas uma extensão. Agora, meu arquivo foo.desktop funciona bem; Vou ter que mudar até que não funcione de novo, só para aprender. Mas isso desencadeia uma nova questão ... (sobre um assunto diferente).