Why would you include national holidays into vacation days? National holiday is more like an extra sunday. You can't move it for example if you're on a medical leave through it.
I worked for a company in the UK who allowed the option to work on Bank Holidays and take those days in lieu, was great way to actually get some developing done without the constant interruption of working in an open plan office.
