--- Makefile	2016-10-03 16:11:34.000000000 -0400
+++ Makefile	2017-01-15 18:28:54.000000000 -0500
@@ -83,11 +83,11 @@
 
 unix-gcc:
 	$(MAKE) -j target=UNIX \
-		CC=gcc \
+		CC=@@CC@@ CXX=@@CXX@@ \
 		opt='-DSYZYGY -DTEST -DCPUS=4' \
-		CFLAGS='-Wall -Wno-array-bounds -pipe -O3 -fprofile-use \
-		-mpopcnt -fprofile-correction -pthread' \
-		LDFLAGS='$(LDFLAGS) -fprofile-use -pthread -lstdc++' \
+        CFLAGS='@@CFLAGS@@' \
+        CXFLAGS='@@CXFLAGS@@' \
+        LDFLAGS='@@LDFLAGS@@' \
 		crafty-make
 
 unix-gcc-profile: