Remove defunct PHP include file