files missing in last commit

Signed-off-by: Jan Zieschang <dev@zieschang.net>