undo commit to this makefile as I am not sure yet that the fix is ok