added placeholders for ubuntu 13.04 and 13.10