get rid of warnings caused by using built-in symbols