step 1: make sure synthesis are loaded correctly