Add the proper #pragma config()s