update linux premake to circa 5/20/13