added debug symbols