Fixed error with undefined cmake_args

Signed-off-by: Ian Bell <ian.h.bell@gmail.com>