Fetch srep from its new location.
Use the correct PHP tag.