hack to pass libraries to gcc