autobuild: add system-mitkrb5 build environment.