Update: tracking down undefined reference error that does not occur locally