--- Makefile-dist	2004-03-05 15:40:29.000000000 +0100
+++ Makefile	2004-03-05 15:41:24.000000000 +0100
@@ -7,13 +7,13 @@
 	sudo python -i ./run.py
 
 $(PLUG).so: $(PLUG).o
-	ld -shared -o $@ $<
+	$(CC) $(CFLAGS) -shared -o $@ $<
 
 .c.s:
-	gcc -O6 -I/usr/local/include -S $<
+	$(CC) $(CFLAGS) -S $<
 
 .c.o:
-	gcc -O2 -I/usr/local/include -c $<
+	$(CC) $(CFLAGS) -c $<
 
 install: all
 	install -m 644 $(PLUG).so $(DEST)