Download patch
ref: 7ff626d1c51afb52e48183e39d6086103ea1ea2f parent: ec403cbfcb3bf3c814469fb9f686c2ece04b3258 author: Ori Bernstein <ori@eigenstate.org> date: Tue Jan 22 05:55:40 EST 2013
Rename things in the platform configuration header.