NDK version mixup

So the main buildserver was updated...

Two days ago...

INFO: Building version zzzz (yy) of xxxxx 
CRITICAL: Android NDK version 'r21b' could not be found!
...
CRITICAL: r21d: /home/vagrant/android-ndk/r21d
...

Oh silly me, we have 21d now... Let me make a MR...

Today

INFO: Building version zzzz (yy) of xxxx
CRITICAL: Android NDK '/home/vagrant/android-ndk/r21d' is not a directory!
ERROR: Could not build app xxxx: fdroidserver.exception

Wut? :((

Same server versions today and 2 days ago:

fdroidserverid: 0b4112f74348a375aebfe7e834349be7a532e666

buildserverid: 1be8788f5fe7ea2e8a5c389e8db8274ee4b10cb7