Workaround to avoid the issue with make: http://lists.gnu.org/archive/html/bug-make/2010-08/msg00000.html