The problem was solved by installing the OS X developer tools.
You can do so via Terminal by executing
xcode-select --install
I hope this may help somebody having the same problem!