I was still having problems with this after following this doc:
http://kb.juniper.net/InfoCenter/index?page=content&id=KB25230

It was the same segmentation fault shenanigans that avira was...