marked PHP file as executable