Why is the company providing you with machines that run OS X instead of Linux, given your work requirements?