Rmoves some useless files.

Signed-off-by: Markus Hubig <mhubig@gmail.com>