Updated linux Python 3.3 static library