Fix hhc not found error
Restore sourceforge mirror url
Use standard sourceforge mirror for boost package