Firefox 31 on Linux is getting closed by grsec