fix some bugs affecting bioc-devel versions