Where did this library come from? It seems strange to check it in here (without license information).