switch to gcc 4.8 + selinux fix

Change-Id: Ib879ade27ebd2ab83dfdf2924303d0cfe99d4e46