Ubuntu 12.10 build working with these instructions