This is resolved by installing gcc4.9 and setting it up as an alternative with aoto gcc selection on. The same also fixes the virtual box dkms issue with recent kernels
This is resolved by installing gcc4.9 and setting it up as an alternative with aoto gcc selection on. The same also fixes the virtual box dkms issue with recent kernels