Revert "Switch to gcc, see issue #10"

This reverts commit cb52567d31cc116a8d47678da162a7e0d8501dd1.