boost: add more options, fix with-python option