wscript_configure_system_mitkrb5: update to handle waf 2.0.4