removed pstricks dependency for now (really just testing pushability)