Gave up with arduino-ide (having used it since 1.0.2) and now running eclipse plugin which is working fine.