Remove useless check_symbols target