Fixing WSN430 builds on Travis.