UPDATED MINX to not include semaphores on GNU/LINUX