Travis-CI MacOSX: remove unneeded programs