Fill in the rest of the system calls allowed by Capsicum