[PATCH 1/2] set DYNAMIC_GHC_PROGRAMS to NO if platform does not support shared libs