I need some help or advice regarding Travis CI. The build of the workbench plugin failed with this error message: ``` ../../../workbench/src/plugin_main.c:28:18: fatal error: git2.h: No such file or directory #include <git2.h> ``` I found this comment in the Travis CI config: ``` # Ubuntu 12.04 doesn't have libgit2, 14.04 has a too old one, so we build # our own for now. #- libgit2-dev ``` On my machine I have libgit2-dev installed (Ubuntu 18.04.2). How can I fix this issue?