replaced all local definitions of PI by a single one