/etc/init.d/networking restart not working in 14.04 (yet?) doing a workaround!