Actually, the Makefile is split into Makefile and
Makefile-linux-obj. Problem: sometimes Make executes
the Makefile-linux-obj up to about 20 times because I
thinks that that is not the actual version. Because of
that I want to make one Makefile out of these two.
