Removing boost directory again so that it is ignored properly by git.