wrong eclipse pydev file in c library