Este é um conhecido bug no VirtualBox: as adições não serão compiladas com os kernels 3.5. Você precisará atualizar o VirtualBox para, pelo menos, a versão 4.1.20, onde foi solucionado.
Algumas pessoas nos fóruns do VB relataram sucesso executando adições de 4.1.20 no VirtualBox 4.1.18, mas parece uma idéia bastante arriscada e não testada para mim.