Adding missing dependency for GitLab's CI

Authored by thomasfischer on Sep 10 2019, 8:26 PM.