DEET is okay for the environment