Re-added the necessary libraries