modify IGSTK build options