Add proteus dependency to development builds