That lib file is not in your source but in another one that can be found on this site. In another thread, Timtech has posted a link to it. (I think it was “Wanna be a LUNI developer”)