"irmaconfig.go" did not exist on "5b99f4b75d7128e56c23d46574d0ca0e7af8f9e3"