Rebuilding the libx264-123_0.123.2189+git35cf912-1ubuntu2 packages with -fno-aggressive-loop-optimizations indeed solves the problem on 13.10, there is no more segfault: https://www.dropbox.com/sh/0o1bi2vzmp5p11o/vBzFd8nCgx
Rebuilding the libx264- 123_0.123. 2189+git35cf912 -1ubuntu2 packages with -fno-aggressive -loop-optimizat ions indeed solves the problem on 13.10, there is no more segfault: https:/ /www.dropbox. com/sh/ 0o1bi2vzmp5p11o /vBzFd8nCgx