"program" missing from OpenCL RTE for DE1 SoC?

Hi -- I'm trying to run the hello_world example from http://www.terasic.com.tw/attachment/archive/836/de1soc_opencl_v02.pdf

However when I type 'aoc program hello_world.aocx' it throws following error:

program: The Altera Linux SoC Runtime Environment for OpenCL is incomplete: Can't find /home/root/opencl_arm32_rte/host/arm32/bin/program

If I run ./hello_world, it seems to work fine.

I'm using the BSP for 16.0 --> http://www.terasic.com/downloads/cd-rom/de1-soc/de1-soc_opencl_bsp_16.0.zip

The vector_add demo also fails to work and quites with an invalid binary error

Initializing OpenCL

Platform: Altera SDK for OpenCL

Using 1 device(s)

de1soc_sharedonly : Cyclone V SoC Development Kit

Using AOCX: vectorAdd.aocx

ERROR: CL_INVALID_BINARY

Location: ../common/src/AOCL_Utils.cpp:391

Failed to create program with binary