php loadfile and run script