Remove unused boost developer extension from 4.3 branch