Travis ci

Just for information. Why do we need to link with these libraries?