Platform-dependent dependencies were not honoured because I forgot to specify them as list. Fixed.
Platform-dependent dependencies were not honoured because I forgot to specify them as list. Fixed.

cwi-dis/iotsa,cwi-dis/iotsa,cwi-dis/iotsa,cwi-dis/iotsa