Check installation on Mac

After deep changes to the install commands in the CMake scripts (!741 (merged)), we need to verify that the Mac installer still works.