Fix.

Signed-off-by: Daniel Scheffler <danschef@gfz-potsdam.de>
4 jobs for master in 3 minutes and 15 seconds (queued for 2 seconds)