Enkel videoredigering med GNU/Linux

Jag skulle vilja göra en väldigt simpel videoredigering, men hittar inga bra verktyg. Det jag vill göra är i princip att lägga en png-bild ovanpå en video under några sekunder. Jättesimpelt tänkte jag, men icke. Jag har testat lite olika program, några har enormt avancerade interfaces, och jag fattar inte ett skvatt, och andra klarar ingenting. Gemensamt för alla är dock att de tycks bugga ur och segfaulta så fort jag rör vid någon knapp eller försöker importera en video. Någon som har ett tips nått bra program? Eller ska jag kanske börja gräva ner mig i gstreamer-pipelines och göra det kommandoradsvägen?
Jag har testat lives, cinerella, kino och pitivi. Kanske några mer som jag glömt bort.