add __attribute__((used)) around new/delete inline operators, fix #814