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