fixing more softlink issues, this time on Ubuntu 14.04