For which reason do you write sometimes ```#ifdef USE_PETSC``` and sometime ```#if defined(USE_PETSC)```?