add new option for enabling debugging symbols