Changed the way we fetch extensions; closes #394.