Simplified make with a proxy Makefile