diff --git a/.travis.yml b/.travis.yml
index b8a52746..0d22b666 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,12 +1,7 @@
 language: python
 python:
   - "2.7"
-addons:
-  apt:
-    packages:
-      - build-essential
-      - libcap-dev
-      - libssl-dev
+os: osx
 install:
   - pip install -r requirements.txt
   - python setup.py install
diff --git a/src/workprover/fastsolver/makefile b/src/workprover/fastsolver/makefile
index 6fc7eebd..2f9ea854 100644
--- a/src/workprover/fastsolver/makefile
+++ b/src/workprover/fastsolver/makefile
@@ -1,5 +1,5 @@
-CFLAGS += -std=gnu99 -Wall -Wextra -pedantic -O3 -fPIC
-LDFLAGS += -shared -Wl,-version-script=main.map
+CFLAGS += -std=gnu99 -Wall -Wextra -pedantic -O3 -fPIC -v
+LDFLAGS += -shared -Wl,-version-script=main.map -v
 
 libfastsolver.so: main.map common.o pthread.o
 	$(CC) $(LDFLAGS) -o $@ common.o pthread.o -lpthread -lcrypto