Useful modifications to Flexus 4.1 and Boost 1.33.1 files