MacOS libraries' names changed due to Makefile update