These kinds of problems are usually timestamp issues. Try tracking it down with 'make -n' or 'make -d<SOMEFLAGS>'.
Sorry, I simply don't have the time for this. Please close this PR, I'll keep my local fix for the problem.
-- Jörn Clausen joern.clausen%uni-bielefeld.de@localhost Hochschulrechenzentrum http://www.uni-bielefeld.de/hrz/ Universität Bielefeld