Merge branch 'makefilefix'
authorAndreas Zwinkau <zwinkau@kit.edu>
Fri, 24 Jun 2011 14:00:58 +0000 (16:00 +0200)
committerAndreas Zwinkau <zwinkau@kit.edu>
Fri, 24 Jun 2011 14:08:24 +0000 (16:08 +0200)

Trivial merge