GitLab

They were not found so far because of files forgotten in the Makefile.
Signed-off-by: Niklas Hambuechen <niklash@google.com>
Reviewed-by: Hrvoje Ribicic <riba@google.com>