Fixing check-syntax and Docker files after modules move