Updates following web-engine devel header location change