manweichan/SatLib not found