Fixing ubuntu platform rename stuff.