post-php cleanup