Edited back to Ubuntu 12.04 sources.list