Fixed bug #1613: Makefile's VPATH feature is broken
2 files changed