minor update for boost super-project