Re-adding the Ubuntu 12.10 script to still provide the choice to install it on that version of Ubuntu.