open_checkpoint does not exist in Vivado 2013.2, so do synth and impl in one go