Libraries used by the quartus operating system