temporary fix for a dependency problem in the Makefile detected by BuildBot