php: remove unused patches