- Fixed the overlapping files in the gdb packages.
- Fixed the Vagrantfile when used under Linux.