Theme loads wrong html5.js polyfill file

I am using 7.x-3.x-dev version of the theme and I realized that in the html.tpl.php file a not existing file is loaded with conditional stylesheets.

<!--[if lt IE 9]>
  <script src="<?php print $mothership_path; ?>/js/html5.js"></script>
<![endif]-->

The correct file is "html5shiv.min.js" so the code should be:

<!--[if lt IE 9]>
  <script src="<?php print $mothership_path; ?>/js/html5shiv.min.js"></script>
<![endif]-->

Applying a patch also.